Generating an Amalgam of Real-time, Novel Editors and Toolkits; developed by User Interface Software Group, Human Computer Interaction Institute, School of Computer Science, Carnegie Mellon University. Free: public domain.
OS based on ML language. Goals: advance art of programming language design and implementation, while applying principles of programming languages to advance art of systems building. Project work: theoretical studies of languages and their traits, deve...
A small expert system developed by Steve Jones of Reading University in 1988 for forestry management. The rules are Prolog clauses. Inference is depth-first, backward-chaining, with no explanations of why ESFM asked a question nor how it came to a con...
Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.